inverse rule of inference

反推理原则